From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·9h·
Discuss: Hacker News
🤝Distributed Consensus
Python Fundamentals: case
dev.to·10h·
Discuss: DEV
✅Format Verification
Issue 481
haskellweekly.news·10h
🔗Functional Compilers
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·18h
📏Linear Logic
Code Smells in Clojure
github.com·20m·
Discuss: Hacker News
🦀Rust Borrowing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·11h
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·14h
🔄Reproducible Builds
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·3d
🏗️Constructive Mathematics
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
How to run an LLM on your laptop
technologyreview.com·5h
💻Local LLMs
LLMs Are Bad at Being Forced
morphllm.com·10h·
Discuss: Hacker News
💻Local LLMs
A Wide Reduction Trick (2022)
words.filippo.io·19h·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Undone Computer Science
undonecs.org·10h·
Discuss: Hacker News
🌍Cultural Algorithms
How to actually use Model Context Protocol
seangoedecke.com·22h·
Discuss: Hacker News
⚡Proof Automation
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·6h·
Discuss: Hacker News
🔒WASM Capabilities
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·10h
🖥️Terminal Renaissance
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity